Open problems in Boolean algebras over partially ordered sets Mohamed Bekkali University sidi mohamed ben abdullah (USMBA) Fez, Morocco

Source URL: spot.colorado.edu

• Algebra
• Mathematics
• Abstract algebra
• Boolean algebra
• Algebraic logic
• Algebraic structures
• Lattice theory
• Algebra over a field
• Heyting algebra
• Complete Boolean algebra

First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Euclidean numbers Authors: Vieri Benci (Universit`a di Pisa, Italy) Abstract: We p

Source URL: www.sbm.org.br

Surreal Numbers – An Introduction Version 1.6 Claus Tøndering 18 September 2013

Source URL: tondering.dk

• Mathematics
• Abstract algebra
• Algebra
• Infinity
• Mathematical logic
• Real closed field
• Combinatorial game theory
• Surreal number
• Real numbers
• Infinitesimal
• 0.999...
• FO

Markov Logic Networks in Health Informatics Shalini Ghosh, Natarajan Shankar, Sam Owre, Sean David∗, Gary Swan, Patrick Lincoln SRI International, Menlo Park, CA Abstract e.g., classification or regression trees, are

Source URL: www.csl.sri.com

Separation Logic for a Higher-Order Typed Language [Extended Abstract] Neelakantan Krishnaswami Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213

Source URL: www.mpi-sws.org

Modeling Scientic Theories as PRISM Programs Taisuke SATO1 Abstract. PRISM is a new type of symbolic-statistical modeling language which integrates logic programming and learning seamlessly2. It is designed for the symb

Source URL: rjida.meijo-u.ac.jp

Logic-based Probabilistic Modeling Taisuke Sato Tokyo Institute of Technology, Ookayama Meguro Tokyo Japan, http://sato-www.cs.titech.ac.jp/ Abstract. After briefly mentioning the historical background of PLL/SRL,

Source URL: rjida.meijo-u.ac.jp

Machine Reading Using Markov Logic Networks for Collective Probabilistic Inference Shalini Ghosh, Natarajan Shankar, Sam Owre Computer Sciences Laboratory, SRI International Abstract. DARPA’s Machine Reading project i

Source URL: www.csl.sri.com

Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France

Source URL: software.imdea.org

• Logic
• Mathematical logic
• Non-classical logic
• Philosophical logic
• Predicate logic
• Model theory
• First-order logic
• Barcan formula
• Modal logic
• KeY

Relation algebras as expanded FL-algebras Nikolaos Galatos and Peter Jipsen University of Denver and Chapman University

Source URL: spot.colorado.edu

• Mathematics
• Algebra
• Abstract algebra
• Algebraic logic
• Mathematical logic
• Fuzzy logic
• Boolean algebra
• Algebraic structures
• Residuated lattice
• Relation algebra
• Variety
• Binary relation